大家在查：供资无法自拔轮式复旦 cogency Mahdi stiff competition 迅速地兽族 Headshots

formal logic

美英

na.形式逻辑
网络形式逻辑学；正式逻辑；形式理则

formal logic

英-汉英-英网络释义

formal logic

形式逻辑

形式逻辑（formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必 …

形式逻辑学

教育科学学院 ... 0528056 美术鉴赏 Artistic Appreciation 0528057 形式逻辑学 Formal Logic ...

正式逻辑

那么所对的正式逻辑（formal logic）是什么？参见维特根斯坦《逻辑哲学论》，或者Bourdieu, P & Passeron J-C (1990) 《Rep…

形式理则

然而这与西方重理型（form），理相（idea），形式理则（formal logic），与言语（word, logos）的传统实为不同。严复在讨 …

形式逻辑的

...形式演绎期(Formal Deduction)或 形式逻辑的(formal logic)层次。

正规逻辑

Assignment | 宅学习 - Social Learning Space ... verification of software 软体验证 formal logic 正规逻辑 axiom 公理 ...

在形式逻辑中

>在形式逻辑中（formal logic），>您的这个三段论是无效的。

例句：

The reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic .

之所以称其为 “必要条件 ”，是因为 “必要条件 ”可能只存在于形式逻辑中。

In this article, the point of combining formal logic with natural language is proposed .

本文提出形式逻辑要与自然语言相结合的观点。

The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called ) which has been discussed above .

在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。

In terms of formal logic, the problems are the same .

这两个问题在形式逻辑上其实是同一个问题。

a graphical representation of a program using formal logic .

应用形式逻辑来图示一个程序。

Formal logic is applied to proving correctness properties of programs in Chapter 8.

第八章介绍应用应用推理等价形式逻辑证明程序正确性。

His analyses and interpretations of I Ching were also much of formal logic .

他对易之道德世界的分析与解释也是极其形式化的逻辑的。

This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language .

这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。

However, the "find-difference " regarded that the Chinese logic could not be equal to the western formal logic .

“取异 ”则认为中国古代的逻辑思想不等同于西方的形式逻辑。

The study of this formal logic undoubtedly has its uses.

对这种形式逻辑的研究，无疑是有用的。

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

Then Mojing started to use metalanguage to express their logic theories and the basic laws of formal logic .

后世诸子百家学术争鸣，自《墨经》始用元语言来表达逻辑理论和逻辑规律。

The unique feature of Mo-tse educational thoughts concerns with practical education, formal logic and technology etc.

墨子教育思想的独特性涉及到实践教育、形式逻辑和科学技术等方面。

There are three kinds of legal reasoning and argumentation paths and models : formal logic, rhetoric and dialogue .

法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。

From the Relationship Between Proposition and Judgment to Observe the Accurate Characteristic of the Formal Logic

从命题与判断的关系看形式逻辑精确化特征

debate ; formal logic; informal logic; argument; argumentation theory;

辩论；形式逻辑；非形式逻辑；论证；论辩理论；

Formal Logic Will not Be Superseded by Mathematical Logic

数理逻辑不能取代形式逻辑

Exercising formal logic thought in the teaching of engineering mathematics

在工科数学教学中贯彻形式逻辑分析思想的实例

Analysis on Contemporary Formal Logic of Traditional Concepts

传统概念问题的当代形式逻辑剖析

formal logic

formal logic

形式逻辑

形式逻辑学

正式逻辑

形式理则

形式逻辑的

正规逻辑

在形式逻辑中

热词推荐

大家在看